ในโลกของเรสต์ ตัวแปลงโค้ดคือแนวป้องกันขั้นแรกของคุณ จับข้อผิดพลาดที่เกิดจากการรั่วไหลของหน่วยความจำและข้อผิดพลาดในการจับคู่ประเภทก่อนที่จะเกิดขึ้นจริง อย่างไรก็ตาม ตัวแปลงโค้ดไม่สามารถรู้ถึงเจตนาของคุณได้ เจตนา. นี่คือจุดที่ การทดสอบอัตโนมัติ เข้ามาเป็นเครื่องมือป้องกันแบบอัตโนมัติเพื่อรับประกันความถูกต้องทางตรรกะ
1. คู่ที่เสริมกัน
ขณะที่ระบบชนิดจัดการความถูกต้องทางโครงสร้าง แต่การทดสอบจะยืนยันพฤติกรรมเชิงฟังก์ชัน ในโครงการไลบรารี โครงการไลบรารีตัวแปลงโค้ดจะตรวจสอบว่าคุณไม่ส่งสตริงไปยังฟังก์ชันคณิตศาสตร์ แต่เพียงแค่การทดสอบเท่านั้นที่ยืนยันว่า $f(x) = y$ จะให้ผลลัพธ์ตามที่คาดไว้
2. วงจรชีวิตมาตรฐาน
การทดสอบเรสต์ต้องปฏิบัติตามลำดับขั้นตอนที่แน่นอนสามขั้นตอน:
- เตรียมการ: ตั้งค่าข้อมูล (เช่น การสร้างอินสแตนซ์ไลบรารี)
- ดำเนินการ: ดำเนินการตามตรรกะเฉพาะที่กำลังตรวจสอบ
- ยืนยัน: ยืนยันสถานะโดยใช้แมโคร เช่น
assert_eq!.
เครื่องมือที่รวมกันรองรับ การทดสอบเอกสาร (ตัวอย่างที่ทำงานได้ในเอกสาร) และ การทดสอบประสิทธิภาพ เพื่อให้มั่นใจว่าโค้ดของคุณยังคงทำงานได้รวดเร็วมาก